BARKAOUI, KAMEL: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2020 IEEE International Conference on Informatics, IoT, and Enabling Technologies (ICIoT) - Doha, Qatar (2020.2.2-2020.2.5)] 2020 IEEE International Conference on Informatics, IoT, and Enabling Technologies (ICIoT) - Blockchain technology for healthcare: Enhancing shared electronic health record interoperability and integrity

Jabbar, Rateb, Fetais, Noora, Krichen, Moez, Barkaoui, Kamel

Year:

2020

File:

PDF, 1.00 MB

2020

2

Composantes préconservatives minimales d'un réseau de Petri : étude structurelle

Barkaoui, Kamel, Lemaire, Bernard

Journal:

RAIRO - Operations Research

Year:

1987

Language:

french

File:

PDF, 1.43 MB

french, 1987

3

Blockchain for the Internet of Vehicles: A Decentralized IoT Solution for Vehicles Communication Using Ethereum

Jabbar, Rateb, Kharbeche, Mohamed, Al-Khalifa, Khalifa, Krichen, Moez, Barkaoui, Kamel

Journal:

Year:

2020

File:

PDF, 4.48 MB

2020

4

Relevant Timed Schedules/Clock Vectors for Constructing Time Petri Net Reachability Graphs

Hanifa Boucheneb, Kamel Barkaoui

Journal:

Discrete Event Dynamic Systems

Year:

2011

Language:

english

File:

PDF, 719 KB

english, 2011

5

A New Formalism for Modeling a Multi Agent Systems: Agent Petri Nets

Marzougui, Borhen, Hassine, Khaled, Barkaoui, Kamel

Journal:

Journal of Software Engineering and Applications

Year:

2010

Language:

english

File:

PDF, 2.16 MB

english, 2010

6

[Lecture Notes in Business Information Processing] Business Process Management Workshops Volume 100 || Configurable Process Models for Logistics Case Study for Customs Clearance Processes

Daniel, Florian, Barkaoui, Kamel, Dustdar, Schahram

Year:

2012

Language:

english

File:

PDF, 647 KB

english, 2012

7

[IEEE 2012 5th IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - Taipei, Taiwan (2012.12.17-2012.12.19)] 2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - Performance evaluation of a massively parallel ESB-oriented architecture

Benosman, Ridha, Albrieux, Yves, Barkaoui, Kamel

Year:

2012

Language:

english

File:

PDF, 263 KB

english, 2012

8

On the enforcement of a class of nonlinear constraints on Petri nets

Chen, YuFeng, Li, ZhiWu, Barkaoui, Kamel, Giua, Alessandro

Journal:

Year:

2015

Language:

english

File:

PDF, 728 KB

english, 2015

9

Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs

Chen, YuFeng, Li, ZhiWu, Barkaoui, Kamel, Wu, NaiQi, Zhou, MengChu

Journal:

IEEE Transactions on Systems, Man, and Cybernetics: Systems

Year:

2016

Language:

english

File:

PDF, 3.54 MB

english, 2016

10

[Lecture Notes in Computer Science] Verification and Evaluation of Computer and Communication Systems Volume 10466 || Mobility Load Balancing over Intra-frequency Heterogeneous Networks Using Handover Adaptation

Barkaoui, Kamel, Boucheneb, Hanifa, Mili, Ali, Tahar, Sofiène

Year:

2017

Language:

english

File:

PDF, 722 KB

english, 2017

11

[Lecture Notes in Computer Science] Verification and Evaluation of Computer and Communication Systems Volume 10466 || Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude

Barkaoui, Kamel, Boucheneb, Hanifa, Mili, Ali, Tahar, Sofiène

Year:

2017

Language:

english

File:

PDF, 300 KB

english, 2017

12

IoT-based smart and complex systems: a guest editorial report

Wu, Naiqi, Li, Zhiwu, Barkaoui, Kamel, Li, Xiaoou, Murata, Tadahiko, Zhou, MengChu

Journal:

IEEE/ACM Transactions on Audio, Speech, and Language Processing

Year:

2018

Language:

english

File:

PDF, 1.03 MB

english, 2018

13

Introduction to special issue on verification and evaluation of computer systems

Barkaoui, Kamel, Boucheneb, Hanifa

Journal:

Innovations in Systems and Software Engineering

Year:

2018

Language:

english

File:

PDF, 292 KB

english, 2018

14

[IEEE 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC) - Miyazaki, Japan (2018.10.7-2018.10.10)] 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC) - Liveness Enforcement for a Class of Petri Nets via Resource Allocation

You, Dan, Wang, Shouguang, Dou, Hao, Duo, Wenli, Barkaoui, Kamel, Seatzu, Carla

Year:

2018

Language:

english

File:

PDF, 306 KB

english, 2018

15

[IEEE 2019 Sixth International Conference on Software Defined Systems (SDS) - Rome, Italy (2019.6.10-2019.6.13)] 2019 Sixth International Conference on Software Defined Systems (SDS) - Scalable Load Balancing Scheme for Distributed Controllers in Software Defined Data Centers

Escheikh, Mohamed, Barkaoui, Kamel

Year:

2019

Language:

english

File:

PDF, 389 KB

english, 2019

16

[IEEE 2019 International Conference on Internet of Things, Embedded Systems and Communications (IINTEC) - Tunis, Tunisia (2019.12.20-2019.12.22)] 2019 International Conference on Internet of Things, Embedded Systems and Communications (IINTEC) - Urban Traffic Monitoring and Modeling System: An IoT Solution for Enhancing Road Safety

Jabbar, Rateb, Shinoy, Mohammed, Kharbeche, Mohamed, Al-Khalifa, Khalifa, Krichen, Moez, Barkaoui, Kamel

Year:

2019

File:

PDF, 1.12 MB

2019

17

[IEEE 2020 International Wireless Communications and Mobile Computing (IWCMC) - Limassol, Cyprus (2020.6.15-2020.6.19)] 2020 International Wireless Communications and Mobile Computing (IWCMC) - A Model-Based and Resource-Aware Testing Framework for Parking System Payment using Blockchain

Jabbar, Rateb, Krichen, Moez, Shinoy, Mohammed, Kharbeche, Mohamed, Fetais, Noora, Barkaoui, Kamel

Year:

2020

File:

PDF, 1.69 MB

2020

18

Covering Steps Graphs of Time Petri Nets

Hanifa Boucheneb, Kamel Barkaoui

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 310 KB

english, 2009

19

Guest Editorial

Kamel Barkaoui, Manfred Broy, Ana Cavalcanti, Antonio Cerone

Journal:

Formal Aspects of Computing

Year:

2008

Language:

english

File:

PDF, 61 KB

english, 2008

20

On Concurrency Control in Multidatabase Systems with an Extended Transaction Model

Kamel Barkaoui, Rabah Benamara

Journal:

The Journal of Supercomputing

Year:

2003

Language:

english

File:

PDF, 98 KB

english, 2003

21

[IEEE 2009 IEEE/ACS International Conference on Computer Systems and Applications - Rabat, Morocco (2009.05.10-2009.05.13)] 2009 IEEE/ACS International Conference on Computer Systems and Applications - On modelling adaptive service-oriented business processes

Aoumeur, Nasreddine, Barkaoui, Kamel, Saake, Gunter

Year:

2009

Language:

english

File:

PDF, 422 KB

english, 2009

22

[IEEE 2008 Fifth International Conference on Information Technology: New Generations (ITNG) - Las Vegas, NV, USA (2008.04.7-2008.04.9)] Fifth International Conference on Information Technology: New Generations (itng 2008) - Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification

Aoumeur, Nasreddine, Barkaoui, Kamel, Saake, Gunter

Year:

2008

Language:

english

File:

PDF, 307 KB

english, 2008

23

[Lecture Notes in Business Information Processing] Business Process Management Workshops Volume 100 || Enabling YAWL to Handle Dynamic Operating Room Management

Daniel, Florian, Barkaoui, Kamel, Dustdar, Schahram

Year:

2012

Language:

english

File:

PDF, 356 KB

english, 2012

24

[IEEE 2011 2nd International Conference on Intelligent Systems, Modelling and Simulation (ISMS) - Phnom Penh, Cambodia (2011.01.25-2011.01.27)] 2011 Second International Conference on Intelligent Systems, Modelling and Simulation - Method for Verification of a Multi Agents System

Marzougui, Borhen, Hassine, Khaled, Barkaoui, Kamel

Year:

2011

Language:

english

File:

PDF, 303 KB

english, 2011

25

[Lecture Notes in Business Information Processing] Business Process Management Workshops Volume 100 || A Personalized Access Control Framework for Workflow-Based Health Care Information

Daniel, Florian, Barkaoui, Kamel, Dustdar, Schahram

Year:

2012

Language:

english

File:

PDF, 291 KB

english, 2012

26

[Lecture Notes in Business Information Processing] Business Process Management Workshops Volume 100 || A Modular Approach to Build Workflow Engines

Daniel, Florian, Barkaoui, Kamel, Dustdar, Schahram

Year:

2012

Language:

english

File:

PDF, 228 KB

english, 2012

27

[Lecture Notes in Business Information Processing] Business Process Management Workshops Volume 100 || Industry Operations Architecture for Business Process Model Collections

Daniel, Florian, Barkaoui, Kamel, Dustdar, Schahram

Year:

2012

Language:

english

File:

PDF, 676 KB

english, 2012

28

[Lecture Notes in Business Information Processing] Business Process Management Workshops Volume 99 || Event-Driven Exception Handling for Software Engineering Processes

Daniel, Florian, Barkaoui, Kamel, Dustdar, Schahram

Year:

2012

Language:

english

File:

PDF, 555 KB

english, 2012

29

[Lecture Notes in Business Information Processing] Business Process Management Workshops Volume 100 || Guarded Process Spaces (GPS): A Navigation System towards Creation and Dynamic Change of Healthcare Processes from the End-User’s Perspective

Daniel, Florian, Barkaoui, Kamel, Dustdar, Schahram

Year:

2012

Language:

english

File:

PDF, 288 KB

english, 2012

30

[Lecture Notes in Business Information Processing] Business Process Management Workshops Volume 99 || Emphasizing Events and Rules in Business Processes

Daniel, Florian, Barkaoui, Kamel, Dustdar, Schahram

Year:

2012

Language:

english

File:

PDF, 198 KB

english, 2012

31

ON STRUCTURAL ANALYSIS OF INTERACTING BEHAVIORAL PETRI NETS FOR DISTRIBUTED CAUSAL MODEL-BASED DIAGNOSIS

BENNOUI, HAMMADI, CHAOUI, ALLAOUA, BARKAOUI, KAMEL

Journal:

International Journal of Foundations of Computer Science

Year:

2012

Language:

english

File:

PDF, 339 KB

english, 2012

32

A Neuro-Fuzzy Model for QoS Based Selection of Web Service

Missaoui, Abdallah, Barkaoui, Kamel

Journal:

Journal of Software Engineering and Applications

Year:

2010

Language:

english

File:

PDF, 295 KB

english, 2010

33

[Lecture Notes in Business Information Processing] Business Process Management Workshops Volume 100 || Reusing a Declarative Specification to Check the Conformance of Different CIGs

Daniel, Florian, Barkaoui, Kamel, Dustdar, Schahram

Year:

2012

Language:

english

File:

PDF, 342 KB

english, 2012

34

Robustness of deadlock control for a class of Petri nets with unreliable resources

Liu, G.Y., Li, Z.W., Barkaoui, Kamel, Al-Ahmari, Abdulrahman M.

Journal:

Information Sciences

Year:

2013

Language:

english

File:

PDF, 778 KB

english, 2013

35

[Lecture Notes in Business Information Processing] Business Process Management Workshops Volume 100 || A Mathematical Model for the Global Supplier Selection

Daniel, Florian, Barkaoui, Kamel, Dustdar, Schahram

Year:

2012

Language:

english

File:

PDF, 285 KB

english, 2012

36

[Lecture Notes in Business Information Processing] Business Process Management Workshops Volume 99 ||

Daniel, Florian, Barkaoui, Kamel, Dustdar, Schahram

Year:

2012

Language:

english

File:

PDF, 9.39 MB

english, 2012

37

[Lecture Notes in Business Information Processing] Business Process Management Workshops Volume 100 || Towards Cross-Organizational Process Mining in Collections of Process Models and Their Executions

Daniel, Florian, Barkaoui, Kamel, Dustdar, Schahram

Year:

2012

Language:

english

File:

PDF, 333 KB

english, 2012

38

[Lecture Notes in Business Information Processing] Business Process Management Workshops Volume 100 ||

Daniel, Florian, Barkaoui, Kamel, Dustdar, Schahram

Year:

2012

Language:

english

File:

PDF, 12.74 MB

english, 2012

39

Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems

Chen, YuFeng, Li, ZhiWu, Barkaoui, Kamel

Journal:

Information Sciences

Year:

2014

Language:

english

File:

PDF, 880 KB

english, 2014

40

[IEEE 2010 2nd International Conference on Software Technology and Engineering (ICSTE 2010) - San Juan, PR, USA (2010.10.3-2010.10.5)] 2010 2nd International Conference on Software Technology and Engineering - On the verification of business processes by model checking techniques

Sbai, Zohra, Missaoui, Abdallah, Barkaoui, Kamel, Ben Ayed, Rahma

Year:

2010

Language:

english

File:

PDF, 1.02 MB

english, 2010

41

[IEEE 2009 Eighth International Symposium on Parallel and Distributed Computing (ISPDC) - Lisbon, Portugal (2009.06.30-2009.07.4)] 2009 Eighth International Symposium on Parallel and Distributed Computing - Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets

Bennoui, Hammadi, Chaoui, Allaoua, Barkaoui, Kamel

Year:

2009

Language:

english

File:

PDF, 790 KB

english, 2009

42

[IEEE 2013 IEEE 14th International Conference on Information Reuse & Integration (IRI) - San Francisco, CA, USA (2013.08.14-2013.08.16)] 2013 IEEE 14th International Conference on Information Reuse & Integration (IRI) - Verifying SystemC with predicate abstraction: A component based approach

Harrath, Nesrine, Monsuez, Bruno, Barkaoui, Kamel

Year:

2013

Language:

english

File:

PDF, 152 KB

english, 2013

43

[IEEE 2009 4th International Symposium on Wireless Pervasive Computing (ISWPC) - Melbourne, Australia (2009.02.11-2009.02.13)] 2009 4th International Symposium on Wireless Pervasive Computing - A Multi-Dimensional Architectural Approach to Behavior-Intensive Adaptive Pervasive Applications

Aoumeur, Nasreddine, Barkaoui, Kamel, Saake, Gunter

Year:

2009

Language:

english

File:

PDF, 366 KB

english, 2009

44

[IEEE 2010 30th International Conference on Distributed Computing Systems Workshops (ICDCS Workshops) - Genoa, Italy (2010.06.21-2010.06.25)] 2010 IEEE 30th International Conference on Distributed Computing Systems Workshops - Verification and Performance Evaluation of S-MAC Protocol Based on Process Calculi

Abo, Robert, Barkaoui, Kamel, Djouani, Karim

Year:

2010

Language:

english

File:

PDF, 473 KB

english, 2010

45

[IEEE 2014 IEEE 11th International Conference on Networking, Sensing and Control (ICNSC) - Miami, FL, USA (2014.04.7-2014.04.9)] Proceedings of the 11th IEEE International Conference on Networking, Sensing and Control - Intrinsically live structures in process and resource-oriented Petri nets modeling automated manufacturing systems

Liu, Ding, Hou, YiFan, Barkaoui, Kamel, Zhou, MengChu

Year:

2014

Language:

english

File:

PDF, 913 KB

english, 2014

46

[IEEE 2013 5th International Conference on Modeling, Simulation and Applied Optimization (ICMSAO 2013) - Hammamet (2013.4.28-2013.4.30)] 2013 5th International Conference on Modeling, Simulation and Applied Optimization (ICMSAO) - Computation of resource circuits of Petri nets by using binary decision diagrams

YuFeng Chen,, Ding Liu,, GaiYun Liu,, Barkaoui, Kamel

Year:

2013

Language:

english

File:

PDF, 143 KB

english, 2013

47

[IEEE 2009 Fourth International Conference on Internet and Web Applications and Services - Venice/Mestre, Italy (2009.05.24-2009.05.28)] 2009 Fourth International Conference on Internet and Web Applications and Services - Towards a Disciplined Engineering of Adaptive Service-Oriented Business Processes

Aoumeur, Nasreddine, Barkaoui, Kamel

Year:

2009

Language:

english

File:

PDF, 324 KB

english, 2009

48

[IEEE 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS) - San Francisco, California, USA (2009.04.14-2009.04.16)] 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems - Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications

Aoumeur, Nasreddine, Barkaoui, Kamel, Saake, Gunter

Year:

2009

Language:

english

File:

PDF, 319 KB

english, 2009

49

[IEEE 2012 Second International Workshop on Advanced Information Systems for Enterprises (IWAISE) - Constantine, Algeria (2012.11.10-2012.11.12)] 2012 Second International Workshop on Advanced Information Systems for Enterprises - Service Composition Adaptation: An Overview

Eslamichalandar, Maryam, Barkaoui, Kamel, Motahari-Nezhad, Hamid Reza

Year:

2012

Language:

english

File:

PDF, 209 KB

english, 2012

50

[IEEE 2011 11th Annual International Conference on New Technologies of Distributed Systems (NOTERE) - Paris, France (2011.05.9-2011.05.13)] 2011 11th Annual International Conference on New Technologies of Distributed Systems - Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems

Belala, Faiza, Bouanaka, Chafia, Barkaoui, Kamel

Year:

2011

Language:

french

File:

PDF, 313 KB

french, 2011